Joint software/hardware modeling with FXML/Jahuel
نویسنده
چکیده
This report presents an extension of FXML-JAHUEL for modeling hardware components. It illustrates how to jointly model software and hardware components with a simple producer/consumer application on a bi-processor. It briefly discusses the FXML-to-PWARE translation to enable performance-aware simulation.
منابع مشابه
FXML/Jahuel: A Formal Framework for Software Synthesis
The high demand of performance driven by today’s massmarket real-time embedded applications, such us HDTV and video streaming, is pushing industry to make use of multi-core and multi-processor hardware. Moreover, many different customizations of the same application are produced with significant variations in their functional and non-functional characteristics. The intrinsic complexity of progr...
متن کاملSpecic Multiprocessor Systems
We present a tool-assisted platform-based design ow for embedded multiprocessor applications. The methodology relies on (1) a formal language which provides constructs to specify the platformindependent behavior of an application using an abstract execution model, and to describe the micro-architecture components of the hardware architecture, together with its compilation chain JAHUEL [1], and...
متن کاملAn approach to derivation of component-based implementations from data-oriented specifications∗
The design and implementation of software-intensive embedded product lines requires dealing with a variety of constantly changing applicationand system-dependent functional and non-functional requirements and constraints that spread out throughout the development process. Moreover, because product lines are built upon a set of core services which are improved, customized, extended and integrate...
متن کاملA formal approach to derivation of concurrent implementations in software product lines
We present a formal tool support for software product lines focused on high-performance real-time applications, where dealing with concurrency at both software and hardware levels is needed. The framework consists in (1) a formal language which provides platformindependent constructs to specify the behavior of an application using an abstract execution model, and (2) a compilation chain for ref...
متن کاملJahuel: A Formal Framework for Software Synthesis
We present a theoretically sound and automated model-based design, analysis, and implementation framework for synthesizing correct-by-construction code. Special emphasis is put on multi-threaded software and multi-processor architectures. The framework consists in (1) a formal language which provides platform-independent constructs to specify the behavior of an application using an abstract exe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007